Distributive Laws for Monotone Specifications

Turi and Plotkin introduced an elegant approach to structural operational semantics based on universal coalgebra, parametric in the type of syntax and the type of behaviour. Their framework includes abstract GSOS, a categorical generalisation of the classical GSOS rule format, as well as its categorical dual, coGSOS. Both formats are well behaved, in the sense that each specification has a unique model on which behavioural equivalence is a congruence. Unfortunately, the combination of the two formats does not feature these desirable properties. We show that monotone specifications - that disallow negative premises - do induce a canonical distributive law of a monad over a comonad, and therefore a unique, compositional interpretation.Comment: In Proceedings EXPRESS/SOS 2017, arXiv:1709.0004

Additional file 1: of Comparing the application of two theoretical frameworks to describe determinants of adverse medical device event reporting: secondary analysis of qualitative interview data

AMDE reporting themes that emerged from previous study [14] (DOCX 17 kb)

Additional file 2: of Comparing the application of two theoretical frameworks to describe determinants of adverse medical device event reporting: secondary analysis of qualitative interview data

Comparison of interventions identified across theoretical frameworks (DOCX 30 kb)

sj-docx-1-dhj-10.1177_20552076231224072 - Supplemental material for Providing compassionate care in a virtual context: Qualitative exploration of Canadian primary care nurses’ experiences

Supplemental material, sj-docx-1-dhj-10.1177_20552076231224072 for Providing compassionate care in a virtual context: Qualitative exploration of Canadian primary care nurses’ experiences by Geneviève Rouleau, Kelly Wu, Monica Parry, Lauralie Richard and Laura Desveaux in DIGITAL HEALTH</p

sj-doc-2-dhj-10.1177_20552076231224072 - Supplemental material for Providing compassionate care in a virtual context: Qualitative exploration of Canadian primary care nurses’ experiences

Supplemental material, sj-doc-2-dhj-10.1177_20552076231224072 for Providing compassionate care in a virtual context: Qualitative exploration of Canadian primary care nurses’ experiences by Geneviève Rouleau, Kelly Wu, Monica Parry, Lauralie Richard and Laura Desveaux in DIGITAL HEALTH</p

sj-docx-1-jtt-10.1177_1357633X231167905 - Supplemental material for Understanding how virtual care has shifted primary care interactions and patient experience: A qualitative analysis

Supplemental material, sj-docx-1-jtt-10.1177_1357633X231167905 for Understanding how virtual care has shifted primary care interactions and patient experience: A qualitative analysis by Kelly Wu, Marlena Dang Nguyen, Geneviève Rouleau, Rhea Azavedo, Diya Srinivasan, and Laura Desveaux in Journal of Telemedicine and Telecare</p

Additional file 5: of Testing feedback message framing and comparators to address prescribing of high-risk medications in nursing homes: protocol for a pragmatic, factorial, cluster-randomized trial

Waiver of consent documents: letter of information and debrief to participants in the trial. (DOCX 28 kb

Adjusted prevalence ratios for barriers to care in participants with HbA1c ≥ 10% compared with participants with HbA1c 7–8%.

<p>Adjusted prevalence ratios for barriers to care in participants with HbA1c ≥ 10% compared with participants with HbA1c 7–8%.</p

Patient responses by survey domain.

<p>Patient responses by survey domain.</p

Key indicators of barriers and facilitators to care by survey domain.

<p>Key indicators of barriers and facilitators to care by survey domain.</p